Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
281	ERRATA FOR “ON THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS” PETER A. CHOLAK, CARL G. JOCKUSCH, JR., AND THEODORE A. SLAMAN Several proofs given in [2] contain significant errors or gaps, although Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-08-16 22:19:13 Year of birth missing Turing degree Mathematics Mathematical logic Logic Proof theory Computability theory Carl Jockusch Place of birth missing
282	The Leech lattice. Proc. R. Soc. Lond. A 398, [removed]Richard E. Borcherds, University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB, U.K. New proofs of Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-12-09 18:08:07 Lie groups Lattice points Quadratic forms Lie algebras Sporadic groups II25 1 Leech lattice Niemeier lattice Unimodular lattice Abstract algebra Group theory Algebra
283	CARNEGIE MELLON ETPS: A System to Help Students Write Formal Proofs by Peter B. Andrews Carnegie Mellon University Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 14:59:12 Mathematical proofs Predicate logic Peter B. Andrews Theorem Proving System First-order logic Direct proof Universal quantification KeY Function Mathematics Logic Mathematical logic
284	IEEE TRANS. ON CONTROL OF NETWORK SYSTEMS, JUNE[removed]WITH PROOFS) 1 Convex Relaxation of Optimal Power Flow Part II: Exactness Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2014-05-06 00:32:56 Linear programming Mathematics Applied mathematics Second-order cone programming Relaxation Semidefinite programming Duality Mathematical sciences Mathematical optimization Operations research Convex optimization
285	IEEE TRANS. ON CONTROL OF NETWORK SYSTEMS, 1(1):15–27, MARCH[removed]WITH PROOFS) 1 Convex Relaxation of Optimal Power Flow Part I: Formulations and Equivalence Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2014-05-06 00:32:33 Convex optimization Linear programming Relaxation Power flow study Applied mathematics Mathematics Matrix Physics Operations research Electric power Mathematical optimization
286	Framework Proofs One prover proofs Two prover games Written proofs PCP-theorem Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-08-04 03:11:39 Probabilistic complexity theory Cryptographic protocols IP Probabilistically checkable proof NP Soundness Mathematical proof P Interactive proof system Theoretical computer science Applied mathematics Complexity classes
287	Preface Almost two decades have passed since the appearance of those graph theory texts that still set the agenda for most introductory courses taught Add to Reading List Source URL: diestel-graph-theory.com Language: English - Date: 2013-08-10 17:09:22 Mathematical logic Mathematical proofs Probabilistic method Graph Minor Algebraic graph theory Topology Theorem Handshaking lemma Mathematics Graph theory Logic
288	Ballinteer Institute © [removed]www.leavingcertsolutions.com Add to Reading List Source URL: www.leavingcertsolutions.com Language: English - Date: 2004-02-29 11:08:47 Mathematical proofs British television Q Inductive reasoning Calculus Junior Certificate Mathematical induction Statistics Logic Science
289	Ballinteer Institute © [removed]www.leavingcertsolutions.com Add to Reading List Source URL: www.leavingcertsolutions.com Language: English - Date: 2004-02-29 12:25:06 Trigonometry Ordinary differential equations Trigonometric functions Mathematical fallacy Proofs of trigonometric identities Proof that π is irrational Mathematical analysis Mathematics Geometry
290	Diskrete Mathematik HS 13 Zusammenfassung 2. Mathematical Reasoning, Proofs, and a Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2013-12-03 07:47:00 Equivalence relation Cartesian product Adjacency matrix Tree Filter Matroid Mathematics Graph theory Graph

UPDATE